Formal Methods to Support the Design of Distributed Systems
نویسنده
چکیده
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملThe Governance of National Community Health Worker Programmes in Low- and Middle-Income Countries: An Empirically Based Framework of Governance Principles, Purposes and Tasks
Background National community health worker (CHW) programmes are increasingly regarded as an integral component of primary healthcare (PHC) in low- and middle-income countries (LMICs). At the interface of the formal health system and communities, CHW programmes evolve in context specific ways, with unique cadres and a variety of vertical and horizontal relationships. These programmes need...
متن کاملFormal Verification of a Distributed Computer System
Modeling distributed computer systems is known to be a challenging enterprise. Typically, distributed systems are comprised of large numbers of components whose coordination may require complex interactions. Modeling such systems more often than not leads to the nominal intractability of the resulting state space. Various formal methods have been proposed to address the modeling of coordination...
متن کاملInvestigating and Improving the Effect of Distributed Generation on Reliability in Wind Systems by ARMA Method
The increasing development of the use of new energies has led to the widespread use of power electronics, so that electronic power converters play an important role in extracting power from renewable sources. Power electronics can convert raw energy produced from new energy into the desired power with controlled current, voltage and frequency to be used in the power grid. Restructuring of power...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کامل